Перевод: со всех языков на все языки

со всех языков на все языки

Со всех языков на:
Все языки
Со всех языков на:
Все языки
Английский
Русский

propositional form

Толкование Перевод

1 propositional form

мат. пропозициональная форма

Большой англо-русский и русско-английский словарь > propositional form
2 propositional form

Математика: пропозициональная форма

Универсальный англо-русский словарь > propositional form
3 propositional form

мат.

пропозициональная форма

English-Russian scientific dictionary > propositional form
4 propositional

пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable Пропозиционально

Большой англо-русский и русско-английский словарь > propositional
5 form

1) анкета; бланк

2) вид; форма || придавать вид или форму

3) контур; очертание

4) конфигурация

5) разновидность

6) строит. опалубка; элемент опалубки

7) скамейка, лавочка

8) формуляр

9) составлять; образовывать

10) формироваться

•

calculation in a series form — матем. вычисление с помощью ряда

evaluation of indeterminate form — матем. раскрытие неопределённости

expression in a closed form — выражение в конечном виде

fraction in a factored form — матем. дробь в форме разложения на множители

in a functonal form — в виде функции

in an expanded form — в виде ряда; в развёрнутом виде

integration in a closed form — матем. интегрирование в конечном виде

in the form of — в виде

of closed form — матем. в конечном виде, с конечным числом членов

preparation of type form — полигр. чернение набора

reduction to a normal form — матем. приведение к нормальной форме

to be supplied in a knock-down form — поставляться в разобранном виде

to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду

to draw up in a draft form — составлять начерно

to form a knee — сгибаться под углом

to form a circle — замыкаться в кольцо; образовывать кольцо

to form an angle with — образовывать угол c

to form an erect image — давать прямое изображение

to present in a factor form — разлагать на множители

to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)

to reduce equation to a form — приводить уравнение к виду

to simplify to this form — упростить и привести к следующему виду

to take on a form — принимать форму; принимать вид

- abridged form

- absolute form

- absolutely bounded form
- absolutely convergent form - absolutely extreme form
- abstract form

- adjoint form

- alternating form

- antiholomorphic form

- antilinear form

- antisymmetric form

- arithmetical form

- assertional form

- asymptotic form

- autodual form

- automorphic form

- bihomogeneous form

- bilinear form

- binomial form

- biquadratic form

- blank form

- block form

- boundary form

- bounded form

- bundle form

- categorical form

- center-radius form

- characteristic form

- classical canonical form

- classically integral form

- closable form

- coclosed form

- coded form

- coercive form

- collapsible form

- combinatory form

- compact form

- complementary boundary form

- completely positive form

- complex form

- complex-valued form

- condensed form

- confluent form

- conjugate form

- conjunctive form

- connection form

- contact form

- contiguous form

- contracted form

- convergent form

- convex form

- copositive form

- cubic form

- curvature form

- cusp form

- decimal form

- decomposable form

- defined form
- definite form
- degenerate form

- diagonal form

- diagonalized form

- difference form

- differential form

- dimensionless form

- discontinuous form

- disjunctive form

- distributive form

- divergence form

- dominant form

- double form

- echelon form

- effective form

- elemental form
- elementary form - elimination form of inverse
- elliptic form

- enantiomorphous form

- equivalent forms

- equivariant form

- essentually definite form
- everywhere regular form - evolutionary operation form
- exact form

- expanded form

- explicit form

- exponential form

- extensive form

- exterior form

- extreme form

- fiber form

- final form

- first fundamental form

- flat form

- form of constraint

- functional form

- fundamental form

- gage form

- generalized form

- generally covariant form
- geodesic curvature form
- goniometric form

- ground form

- hemihedral form

- holohedral form

- homological form

- horizontal form

- hyperbolic form

- hypocontinuous form

- implicative form

- implicit form

- imprimitive form

- improperly primitive form
- indefinite form
- indeterminate form

- index form

- inertia form

- inhomogeneous modular form

- initial form

- integer form

- integrable form

- integrated form of equation

- integro-differential form

- integro-power form

- intercept form

- intersection form

- invariant form

- irreducible form

- irredundant form

- iteratable form

- iterated form

- krakowian form

- left-invariant form

- limiting form

- locally compactifiable form

- logarithmical form

- measurable form

- meromorphic form

- message form

- minimal form

- modular form

- m-sectorial form

- multilinear form

- multiplicative form

- name form

- n-ary form

- negative definite form

- negative form

- negative semidefinite form

- neutral form

- nondegenerate form

- nonfull form

- nonnegative definite form

- nonnegative form

- nonpositive definite form

- nonpositive form

- nonsingular form

- norm form

- normal disjunctive form

- normed form

- normic form

- nuclear bilinear form

- null form

- numerical form

- one-signed quadratic form

- open form

- operator form

- optically active form
- p-adically equivalent form
- parametric form

- perfect form

- Pfaffian form

- piecewise linear form

- point-direction form

- point-slope form

- polarization form

- polarized form

- polylinear form

- polynomial form

- positive semidefinite form

- predicate form

- prime form

- primitive quadratic form

- principal form

- product form

- projective form

- properly equivalent forms

- propositional form

- pseudoasymptotic form

- pseudoelliptical form

- pseudoholomorphic form

- pseudoquadratic form

- pseudovolume form

- quantifier form

- quartic form

- quasiasymptotic form

- quasibilinear form

- quasidiagonal form

- quasinatural form

- quasinormal form

- quasiregular form

- quaternary form

- quaternion form

- rational form

- real-valued form

- reciprocal form

- rectangular form of complex number

- reduced echelon form

- reduced form of quadratic equation

- reduced form

- reflexive form

- relative defferential form
- relatively bounded form - repair request form
- residual form

- residue form

- resolving form

- resultant form

- scalar form

- second fundamental form

- self-conjugate form

- self-dual form

- semibasic form

- semibilinear form

- semicanonical form

- semicontinuous form

- semidefinite form

- semidiscrete form

- semiequivalent form

- seminormal form

- separately continuous form

- sesquilinear form

- shape form

- sharp form

- sign-and-absolute-value form

- simplified form

- skew-symmetric form

- slope-intercept form

- smooth form

- solder form

- space form

- special minimal form

- spectral form

- spinor form

- statement form

- strictly positive form

- structural form

- supercusp form

- symbolic form

- symmetric form of equation

- symmetrized form

- symplectic form

- tensorial form

- ternary quadratic form
- third fundamental form
- three-point form

- torsion form

- totally continuous form
- totally definite form - totally discontinuous form
- trace form

- transposed form

- trilinear form

- triple-diagonal form

- two-intercept form

- two-point form

- unbounded form

- unit bilinear form

- unitary form

- vectorial form

- vector-valued form

- vicinal form

- weighted form of lemma

English-Russian scientific dictionary > form
6 пропозициональная форма

propositional form мат., statement form

Русско-английский научно-технический словарь Масловского > пропозициональная форма
7 пропозициональная форма

1) Mathematics: propositional form, statement form

2) Information technology: sententional form

Универсальный русско-английский словарь > пропозициональная форма
8 пропозициональная форма

мат. propositional form, statement form

Большой англо-русский и русско-английский словарь > пропозициональная форма

См. также в других словарях:

Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Propositional representation — Articleissues unreferenced = March 2008 technical = March 2008 introrewrite = March 2008Propositional representation is symbolic description.Other AttributesPropositional representations are also:*Language like only in the sense that they… … Wikipedia
Propositional attitude — A propositional attitude is a relational mental state connecting a person to a proposition. They are often assumed to be the simplest components of thought and can express meanings or content that can be true or false. In being a type of attitude … Wikipedia
propositional function — Logic. See sentential function. [1900 05] * * * Sentencelike expression that may be thought of as obtained from a sentence by substituting variables for constants occurring in the sentence. For example, x was a parent of y may be thought of as… … Universalium
Propositional directed acyclic graph — A propositional directed acyclic graph (PDAG) is a data structure that is used to represent a Boolean function. A Boolean function can be represented as a rooted, directed acyclic graph of the following form: * Leaves are labeled with op (true),… … Wikipedia
propositional religion — /prɒpəˌzɪʃənəl rəˈlɪdʒən/ (say propuh.zishuhnuhl ruh lijuhn) noun a form of religion which derives certainty from rational thought rather than ritual, faith, aesthetics, etc.; a view of religion tracing its roots to the Enlightenment …
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Conjunctive normal form — In Boolean logic, a formula is in conjunctive normal form (CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals. As a normal form, it is useful in automated theorem proving. It is similar to the product of sums form … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Disjunctive normal form — In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses. As a normal form, it is useful in automated theorem proving. A logical formula is… … Wikipedia

Словари и энциклопедии на Академике

Перевод: со всех языков на все языки

propositional form

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: со всех языков на все языки

propositional form

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: